#include "Solverwm.h"

bool Solverwm::isAlt(void) const {return(m_isAlt);}

bool Solverwm::isDat(void) const {return(m_isDat);}

bool Solverwm::isSolved(void) const {return(m_isSolved);}

bool Solverwm::isChecked(void) const {return(m_isChecked);}


